More from this Author

Formal Methods at the Crossroads. from Panacea to Foundational Support

by Bernhard K. Aichernig (Editor), Tom Maibaum (Editor)

Fundamental Approaches to Software Engineering

by FASE 2000 Staff, Tom Maibaum (Editor)

Formal Methods and Software Engineering

by Shaoying Liu (Editor), Tom Maibaum (Editor), Keijiro Araki (Editor)